<?php
$z[0]=Array("global","",142,167);
$z[0][4]['name']="autoindex";
$z[1]=Array("typeurl","",212,229);
$z[2]=Array("typename","",231,249);
$z[3]=Array("arcurl","",283,298);
$z[4]=Array("title","",300,314);
$z[5]=Array("typeurl","",390,407);
$z[6]=Array("typename","",409,427);
$z[7]=Array("arcurl","",443,458);
$z[8]=Array("title","",460,474);

?>